mathematical check meaning in English

数学核对
数学检验
数学校验
数字检验

Based on the comprehensive analysis of the road traffic flow ' s characteristics due to the bus stop without bus bay , the multivariate linear models of the speed and the headway are formed with the variables of the stop frequency , the stop time , the overall length of the stop and its reserve time of the bus and the vehicle flow applying the software of excel , and then the strict mathematical checks are made
文章首先比较全面地分析非港湾式公交停车影响下道路交通流特徵，然后借助于excel软件，构建关于公交停车频率、公交停车时间、最大公交停车长度及其存在时间、道路流量的车速和车头时距多元线性模型，并进行了严格的数学检验。